(w32_console_read_socket): Update pending_signals.

diff --git a/src/w32inevt.c b/src/w32inevt.c
index ac7ca644c54a59126d31826774c82eb886d1ef4b..05f7bd224f743c22882724d04afa8dcc2c876fdf 100644 (file)
--- a/src/w32inevt.c
+++ b/src/w32inevt.c
@@ -651,10 +651,12 @@ w32_console_read_socket (struct terminal *terminal,
   if (interrupt_input_blocked)
     {
       interrupt_input_pending = 1;
+      pending_signals = 1;
       return -1;
     }
 
   interrupt_input_pending = 0;
+  pending_signals = pending_atimers;
   BLOCK_INPUT;
 
   for (;;)